2

Intuitionistic logic and modality via topology

Year:
2004
Language:
english
File:
PDF, 264 KB
english, 2004
3

Around provability logic

Year:
2009
Language:
english
File:
PDF, 663 KB
english, 2009
4

Some Results on Modal Axiomatization and Definability for Topological Spaces

Year:
2005
Language:
english
File:
PDF, 414 KB
english, 2005
9

Scattered toposes

Year:
2000
Language:
english
File:
PDF, 85 KB
english, 2000
13

Fatal Heyting Algebras and Forcing Persistent Sentences

Year:
2012
Language:
english
File:
PDF, 200 KB
english, 2012
14

Five critical modal systems

Year:
1977
Language:
english
File:
PDF, 371 KB
english, 1977
15

THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE

Year:
2010
Language:
english
File:
PDF, 149 KB
english, 2010
27

[Trends in Logic] Heyting Algebras Volume 50 (Duality Theory) ||

Year:
2019
Language:
english
File:
PDF, 1.61 MB
english, 2019